Pseudorandomness for Regular Branching Programs via Fourier Analysis

We present an explicit pseudorandom generator for oblivious, read-once, permutation branching programs of constant width that can read their input bits in any order. The seed length is $O(\log^2 n)$, where $n$ is the length of the branching program. The previous best seed length known for this model was $n^{1/2+o(1)}$, which follows as a special case of a generator due to Impagliazzo, Meka, and Zuckerman (FOCS 2012) (which gives a seed length of $s^{1/2+o(1)}$ for arbitrary branching programs of size $s$). Our techniques also give seed length $n^{1/2+o(1)}$ for general oblivious, read-once branching programs of width $2^{n^{o(1)}}$, which is incomparable to the results of Impagliazzo et al.Our pseudorandom generator is similar to the one used by Gopalan et al. (FOCS 2012) for read-once CNFs, but the analysis is quite different; ours is based on Fourier analysis of branching programs. In particular, we show that an oblivious, read-once, regular branching program of width $w$ has Fourier mass at most $(2w^2)^k$ at level $k$, independent of the length of the program.Comment: RANDOM 201

The Ixodes ricinus salivary gland proteome during feeding and B. Afzelii infection: New avenues for an anti-tick vaccine

Introduction Borrelia burgdorferi sensu lato, the causative agents of Lyme borreliosis, are transmitted by Ixodes ticks. Tick saliva proteins are instrumental for survival of both the vector and spirochete and have been investigated as targets for vaccine targeting the vector. In Europe, the main vector for Lyme borreliosis is Ixodes ricinus, which predominantly transmits Borrelia afzelii. We here investigated the differential production of I. ricinus tick saliva proteins in response to feeding and B. afzelii infection. Method Label-free Quantitative Proteomics and Progenesis QI software was used to identify, compare, and select tick salivary gland proteins differentially produced during tick feeding and in response to B. afzelii infection. Tick saliva proteins were selected for validation, recombinantly expressed and used in both mouse and guinea pig vaccination and tick-challenge studies. Results We identified 870 I. ricinus proteins from which 68 were overrepresented upon 24-hours of feeding and B. afzelii infection. Selected tick proteins were successfully validated by confirming their expression at the RNA and native protein level in independent tick pools. When used in a recombinant vaccine formulation, these tick proteins significantly reduced the post-engorgement weights of I. ricinus nymphs in two experimental animal models. Despite the reduced ability of ticks to feed on vaccinated animals, we observed efficient transmission of B. afzelii to the murine host. Conclusion Using quantitative proteomics, we identified differential protein production in I. ricinus salivary glands in response to B. afzelii infection and different feeding conditions. These results provide novel insights into the process of I. ricinus feeding and B. afzelii transmission and revealed novel candidates for an anti-tick vaccine

A Survey on Continuous Time Computations

We provide an overview of theories of continuous time computation. These theories allow us to understand both the hardness of questions related to continuous time dynamical systems and the computational power of continuous time analog models. We survey the existing models, summarizing results, and point to relevant references in the literature

Genetics of Host Response to Leishmania tropica in Mice – Different Control of Skin Pathology, Chemokine Reaction, and Invasion into Spleen and Liver

Several hundred million people are exposed to the risk of leishmaniasis, a disease caused by intracellular protozoan parasites of several Leishmania species and transmitted by phlebotomine sand flies. In humans, L. tropica causes cutaneous form of leishmaniasis with painful and long-persisting lesions in the site of the insect bite, but the parasites can also penetrate to internal organs. The relationship between the host genes and development of the disease was demonstrated for numerous infectious diseases. However, the search for susceptibility genes in the human population could be a difficult task. In such cases, animal models may help to discover the role of different genes in interactions between the parasite and the host. Unfortunately, the literature contains only a few publications about the use of animals for L. tropica studies. Here, we report an animal model suitable for genetic, pathological and drug studies in L. tropica infection. We show how the host genotype influences different disease symptoms: skin lesions, parasite dissemination to the lymph nodes, spleen and liver, and increase of levels of chemokines CCL2, CCL3 and CCL5 in serum

Genetic Control of Resistance to Trypanosoma brucei brucei Infection in Mice

Trypanosoma brucei are extracellular protozoa transmitted to mammalian host by the tsetse fly. They developed several mechanisms that subvert host's immune defenses. Therefore analysis of genes affecting host's resistance to infection can reveal critical aspects of host-parasite interactions. Trypanosoma brucei brucei infects many animal species including livestock, with particularly severe effects in horses and dogs. Mouse strains differ greatly in susceptibility to T. b. brucei. However, genes controlling susceptibility to this parasite have not been mapped. We analyzed the genetic control of survival after T. b. brucei infection using CcS/Dem recombinant congenic (RC) strains, each of which contains a different random set of 12.5% genes of their donor parental strain STS/A on the BALB/c genetic background. The RC strain CcS-11 is even more susceptible to parasites than BALB/c or STS/A. In F2 hybrids between BALB/c and CcS-11 we detected and mapped four loci, Tbbr1-4 (Trypanosoma brucei brucei response 1–4), that control survival after T. b. brucei infection. Tbbr1 (chromosome 3) and Tbbr2 (chromosome 12) have independent effects, Tbbr3 (chromosome 7) and Tbbr4 (chromosome 19) were detected by their mutual inter-genic interaction. Tbbr2 was precision mapped to a segment of 2.15 Mb that contains 26 genes

Table rounding problem

From time to time, people dealing with accounting are faced with the following table rounding problem. Consider a m x n table with numerical values (e.g., amount of money) in which the last column contains check sums of numbers in particular rows. Similarly, the last row consists of column check sums. A new table is to be produced in which the original numbers, and check sums, are rounded off (e.g. to integers). However, the classical rounding procedure (e.g., rounding fractions smaller than 0.,5 down, otherwise up) can generally violate the validity of sums. Therefore, the possibility to round off the non-integer numbers in the table to adjacent integers (i.e., either up or down independently on their fractions) is explored in order to preserve the check sums. We formulate a necessary and sufficient condition stating when rounding, which is consistent with prescribed (integer) check sums, exists. We also prove that when rounding of check sums is not given as a part of the input and, at the same time, the sums are allowed to be rounded to adjacent integers such rounding always exists. Using maximum flow algorithm the required rounding can be found in both cases in polynomial time O((m + n)3) (provided that it exists). Moreover, rounding with the minimal sum of absolute round-errors is computed within O(mn(m + n)2) time